New Approach to Application Software Quality Verification
نویسندگان
چکیده
Fujitsu has developed a technique that can automatically prepare test scenarios/ data, run the tests, and check the results based on a formal description of the application’s external specifications. This eliminates problems that can arise in conventional test methods, such as failure to consider all possible test cases or data values, the existence of too many test cases for exhaustive testing, and variation in test results due to personality-related differences. By combining this technique with an application framework, we have made it available for use in the development of full-scale applications. This paper introduces our work on using formal verification techniques to achieve ground-breaking improvements in software quality as part of the Production Innovation project in Fujitsu’s SE division.
منابع مشابه
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification
We propose a new development scheme for quality-aware applications, quality-driven development (QDD), based on the Model-Driven Architecture (MDA) of OMG. We argue that software development in areas, such as real-time systems, should not only rely on code verification, but also on design verification, and show that a slightly extended MDA process offers the opportunity to integrate system devel...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملApplication of Reinforcement learning algorithms to software verification
This thesis presents a novel form of system verification through reinforcement learning algorithms. Large and complex software systems are often developed as a team effort. The aim of the development is to satisfy the customer by delivering the right product, with the right quality, and in time. Errors made by developers will always occur when a system is developed, but their effect can be redu...
متن کاملطراحی و تدوین سامانه نرم افزاری مناسب جهت محاسبه شاخص بهداشتی کیفیت هوا (AQHI) و آزمون آن بر پایه دادههای ایستگاههای واقعی
Background and Objective: Increasing air pollution and consequently adversely effects on the quality of life for many people has resulted in the use of the air quality indice for determination of the actual amount of pollutants and air quality, as one of the most important and effective measures for air quality control, to be considered further. The air quality health index (AQHI) is a new inde...
متن کاملSoftware Verification Process Improvement Proposal Using Six Sigma
In the rapidly growing modern telecommunications industry, software quality and reliability requirements are in contrast to the shorter time to market and higher complexity requirements dictated by strong competition on the telecommunications market. In such a rapidly changing environment, software development organization must improve almost on a daily basis in order to achieve the operational...
متن کامل